Mathematics of program construction - 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
- Författare
- José Nuno Oliviera Roland C. Backhouse International Conference on Mathematics of Program Construction 2000) Ponte de Lima :
- (Roland Backhouse, José Nuno Oliveira (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2000 | Tyskland, Berlin | 255 sidor. |